Backround
Definition
Presentation over a site
Models
In a context of synthetic differential geometry/differential cohesion the infinitesimal flat modality is the right adjoint in an adjoint modality with the infinitesimal shape modality.
A context of differential cohesion is determined by the existence of an adjoint triple of modalities forming two pairs of adjoint modalities
where and are idempotent comonads and is an idempotent monad.
Here is the infinitesimal flat modality.
For a geometric homotopy type, is the coefficient for crystalline cohomology with coefficients in . See there for more.
Last revised on March 5, 2015 at 14:32:17. See the history of this page for a list of all contributions to it.